bin\prover test.txt